Expressing Control Mechanisms of Membranes by Rewriting Strategies
نویسندگان
چکیده
In this paper we present a rewriting semantics of membrane systems based on strategies. We use strategies to describe the control mechanisms in membranes. We provide strategies for maximally parallel rewriting, and for maximally parallel rewriting with priorities between rules. Maximally parallel rewriting with promoters or inhibitors requires an additional encoding of the rules.
منابع مشابه
Modular Access Control Via Strategic Rewriting
Security policies, in particular access control, are fundamental elements of computer security. We address the problem of authoring and analyzing policies in a modular way using techniques developed in the field of term rewriting, focusing especially on the use of rewriting strategies. Term rewriting supports a formalization of access control with a clear declarative semantics based on equation...
متن کاملSpecification of Rewriting Strategies
User-definable strategies for the application of rewrite rules provide a means to construct transformation systems that apply rewrite rules in a controlled way. This paper describes a strategy language and its interpretation. The language is used to control the rewriting of terms using labeled rewrite rules. Rule labels are atomic strategies. Compound strategies are formed by means of sequentia...
متن کاملMembrane Fouling Prevention and Control Strategies in Pulp and Paper Industry Applications: A Review
Membrane separation technologies have recently received much attention, from lab-scale studies to full-scale operations, in the forest industry. However, membrane fouling comprises a signifcant obstacle to their broad application. Thus, to ensure cost-effective operation of membrane separation processes, the improved elucidation of membrane fouling and establishment of e...
متن کاملA Logic Programming Approach to Implementing Higher-Order Term Rewriting
Term rewriting has proven to be an important technique in theorem proving. In this paper, we illustrate that rewrite systems and strategies for higher-order term rewriting, which includes the usual notion of rst-order rewriting, can be naturally speciied and implemented in a higher-order logic programming language. We adopt a notion of higher-order rewrite system which uses the simply typed-cal...
متن کاملAn Investigation of the Relationship between Gender and Different Strategies of Expressing Request in English and Persian Films
The main objective of the present study is to elaborate the contrasts between males and females in their use of different strategies of request in English and Persian and ascertain the degree to which independent variables like gender and language affect the application of these strategies during informal communication.Furthermore, it offers comparable corpora which provide a good basis for cro...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006